Loop Body is Never Executed (LBNE)

Description:

LBNE detects situations where the repeat condition of a while or for loop always evaluates to false. The body of such a loop will never execute.

Incorrect:

var f: boolean;
...
  f := false;
  while f do
  begin
  end;